Foundations of mathematics - PDFSEARCH.IO - Document Search Engine

Foundations of mathematics
Results: 359

#	Item
41	Does Changing the Subject From A to B Really Provide an Enlarged Understanding of A? Add to Reading List Source URL: www.johnwoods.ca Language: English - Date: 2015-12-30 14:58:31 Philosophical logic Philosophy of mathematics Analytic philosophers Mathematical logic Guggenheim Fellows Gottlob Frege Logicism The Foundations of Arithmetic Philosophy of logic Foundations of mathematics Saul Kripke Meaning
42	Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY Add to Reading List Source URL: hottheory.files.wordpress.com Language: English - Date: 2013-06-21 07:27:06
43	Prof. Dr. Ulrich Kohlenbach Curriculum Vitae Ulrich Wilhelm Kohlenbach CURRENT AFFILIATION: Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2016-05-30 12:23:35 Formal sciences Metalogic Proof theory Philosophers of mathematics Mathematical logic Proof mining Logic Foundations of mathematics Workshop on Logic Language Information and Computation Mathematics Type theory Model theory
44	E. Hitzer, Foundations of Multidimensional Wavelet Theory: The Quaternion Fourier Transform and its Generalizations, Preprints of Meeting of the Japan Society for Industrial and Applied Mathematics, ISSN: , Tsuk Add to Reading List Source URL: 192.218.244.17 Language: English - Date: 2009-12-21 08:08:50
45	Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY Add to Reading List Source URL: hottheory.files.wordpress.com Language: English - Date: 2013-06-19 17:30:09
46	The Church-Turing thesis in a quantum world Ashley Montanaro Centre for Quantum Information and Foundations, Department of Applied Mathematics and Theoretical Physics, University of Cambridge Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2012-11-02 09:24:56
47	Euclid’s Elements as an Equational Theory Vaughan Pratt Stanford University 26 May, 2015 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2015-05-26 00:36:08 Algebra Mathematics Linear algebra Algebraic structures Abstract algebra Geometry Affine space Universal algebra Euclidean space Geometric algebra Space Foundations of geometry
48	E. Hitzer, Foundations of Multidimensional Wavelet Theory: The Quaternion Fourier Transform and its Generalizations, Preprints of Meeting of the Japan Society for Industrial and Applied Mathematics, ISSN: , Tsuk Add to Reading List Source URL: erkenntnis.icu.ac.jp Language: English - Date: 2009-12-21 08:08:50
49	FOUNDATIONS of DIGITAL ART and DESIGN Chapter 1 Notes Add to Reading List Source URL: digitalart-design.com Language: English - Date: 2014-11-13 20:05:04 Algebra Mathematics Physics Vectors Linear algebra Mechanical engineering Force Mechanics Multistability Work Euclidean vector Vector space
50	ASE 380P ANALYTICAL METHODS I EM386K MATHEMATICAL METHODS IN APPLIED MECHANIS I Fall 2011, # 13795/ # 14220 , TTh 11::30, ENS 109 Text: M. D. Greenberg, Foundations of Applied Mathematics, Prentice-Hall, Inc., Eng Add to Reading List Source URL: users.ices.utexas.edu Language: English - Date: 2011-12-08 22:05:13